翻訳と辞書
Words near each other
・ Monohon, Washington
・ Monohorgonj Upazila
・ Monohull
・ Monohybrid cross
・ Monohydrocalcite
・ Monohydroxybenzoic acid
・ Monoi oil
・ Monoi Station
・ Monoica
・ Monoicomyces
・ Monoicous
・ Monoid
・ Monoid (category theory)
・ Monoid factorisation
・ Monoid ring
Monoidal adjunction
・ Monoidal category
・ Monoidal category action
・ Monoidal functor
・ Monoidal monad
・ Monoidal natural transformation
・ Monoidal t-norm logic
・ Monoimus
・ Monoiodotyrosine
・ Monoisotopic
・ Monoisotopic element
・ Monoisotopic mass
・ Monojapyx
・ Monok
・ Monokaryon


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Monoidal adjunction : ウィキペディア英語版
Monoidal adjunction

Suppose that (\mathcal C,\otimes,I) and (\mathcal D,\bullet,J) are two monoidal categories. A monoidal adjunction between two lax monoidal functors
:(F,m):(\mathcal C,\otimes,I)\to (\mathcal D,\bullet,J) and (G,n):(\mathcal D,\bullet,J)\to(\mathcal C,\otimes,I)
is an adjunction (F,G,\eta,\varepsilon) between the underlying functors, such that the natural transformations
:\eta:1_\Rightarrow G\circ F and \varepsilon:F\circ G\Rightarrow 1_
are monoidal natural transformations.
== Lifting adjunctions to monoidal adjunctions ==
Suppose that
:(F,m):(\mathcal C,\otimes,I)\to (\mathcal D,\bullet,J)
is a lax monoidal functor such that the underlying functor F:\mathcal C\to\mathcal D has a right adjoint G:\mathcal D\to\mathcal C. This adjuction lifts to a monoidal adjuction (F,m)(G,n) if and only if the lax monoidal functor (F,m) is strong.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Monoidal adjunction」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.